Optimal. Leaf size=128 \[ \frac {\cos \left (c-\frac {d e}{f}\right ) \text {Ci}\left (\frac {d e}{f}+d x\right )}{a f}-\frac {\text {Ci}\left (\frac {2 d e}{f}+2 d x\right ) \sin \left (2 c-\frac {2 d e}{f}\right )}{2 a f}-\frac {\sin \left (c-\frac {d e}{f}\right ) \text {Si}\left (\frac {d e}{f}+d x\right )}{a f}-\frac {\cos \left (2 c-\frac {2 d e}{f}\right ) \text {Si}\left (\frac {2 d e}{f}+2 d x\right )}{2 a f} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.20, antiderivative size = 128, normalized size of antiderivative = 1.00, number of steps
used = 9, number of rules used = 6, integrand size = 28, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.214, Rules used = {4619, 3384,
3380, 3383, 4491, 12} \begin {gather*} -\frac {\sin \left (2 c-\frac {2 d e}{f}\right ) \text {CosIntegral}\left (\frac {2 d e}{f}+2 d x\right )}{2 a f}+\frac {\cos \left (c-\frac {d e}{f}\right ) \text {CosIntegral}\left (\frac {d e}{f}+d x\right )}{a f}-\frac {\sin \left (c-\frac {d e}{f}\right ) \text {Si}\left (\frac {d e}{f}+d x\right )}{a f}-\frac {\cos \left (2 c-\frac {2 d e}{f}\right ) \text {Si}\left (\frac {2 d e}{f}+2 d x\right )}{2 a f} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 3380
Rule 3383
Rule 3384
Rule 4491
Rule 4619
Rubi steps
\begin {align*} \int \frac {\cos ^3(c+d x)}{(e+f x) (a+a \sin (c+d x))} \, dx &=\frac {\int \frac {\cos (c+d x)}{e+f x} \, dx}{a}-\frac {\int \frac {\cos (c+d x) \sin (c+d x)}{e+f x} \, dx}{a}\\ &=-\frac {\int \frac {\sin (2 c+2 d x)}{2 (e+f x)} \, dx}{a}+\frac {\cos \left (c-\frac {d e}{f}\right ) \int \frac {\cos \left (\frac {d e}{f}+d x\right )}{e+f x} \, dx}{a}-\frac {\sin \left (c-\frac {d e}{f}\right ) \int \frac {\sin \left (\frac {d e}{f}+d x\right )}{e+f x} \, dx}{a}\\ &=\frac {\cos \left (c-\frac {d e}{f}\right ) \text {Ci}\left (\frac {d e}{f}+d x\right )}{a f}-\frac {\sin \left (c-\frac {d e}{f}\right ) \text {Si}\left (\frac {d e}{f}+d x\right )}{a f}-\frac {\int \frac {\sin (2 c+2 d x)}{e+f x} \, dx}{2 a}\\ &=\frac {\cos \left (c-\frac {d e}{f}\right ) \text {Ci}\left (\frac {d e}{f}+d x\right )}{a f}-\frac {\sin \left (c-\frac {d e}{f}\right ) \text {Si}\left (\frac {d e}{f}+d x\right )}{a f}-\frac {\cos \left (2 c-\frac {2 d e}{f}\right ) \int \frac {\sin \left (\frac {2 d e}{f}+2 d x\right )}{e+f x} \, dx}{2 a}-\frac {\sin \left (2 c-\frac {2 d e}{f}\right ) \int \frac {\cos \left (\frac {2 d e}{f}+2 d x\right )}{e+f x} \, dx}{2 a}\\ &=\frac {\cos \left (c-\frac {d e}{f}\right ) \text {Ci}\left (\frac {d e}{f}+d x\right )}{a f}-\frac {\text {Ci}\left (\frac {2 d e}{f}+2 d x\right ) \sin \left (2 c-\frac {2 d e}{f}\right )}{2 a f}-\frac {\sin \left (c-\frac {d e}{f}\right ) \text {Si}\left (\frac {d e}{f}+d x\right )}{a f}-\frac {\cos \left (2 c-\frac {2 d e}{f}\right ) \text {Si}\left (\frac {2 d e}{f}+2 d x\right )}{2 a f}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.31, size = 105, normalized size = 0.82 \begin {gather*} -\frac {-2 \cos \left (c-\frac {d e}{f}\right ) \text {Ci}\left (d \left (\frac {e}{f}+x\right )\right )+\text {Ci}\left (\frac {2 d (e+f x)}{f}\right ) \sin \left (2 c-\frac {2 d e}{f}\right )+2 \sin \left (c-\frac {d e}{f}\right ) \text {Si}\left (d \left (\frac {e}{f}+x\right )\right )+\cos \left (2 c-\frac {2 d e}{f}\right ) \text {Si}\left (\frac {2 d (e+f x)}{f}\right )}{2 a f} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.18, size = 163, normalized size = 1.27
method | result | size |
derivativedivides | \(\frac {\frac {\sinIntegral \left (-2 d x -2 c -\frac {2 \left (-c f +d e \right )}{f}\right ) \cos \left (\frac {-2 c f +2 d e}{f}\right )}{2 f}+\frac {\cosineIntegral \left (2 d x +2 c +\frac {-2 c f +2 d e}{f}\right ) \sin \left (\frac {-2 c f +2 d e}{f}\right )}{2 f}-\frac {\sinIntegral \left (-d x -c -\frac {-c f +d e}{f}\right ) \sin \left (\frac {-c f +d e}{f}\right )}{f}+\frac {\cosineIntegral \left (d x +c +\frac {-c f +d e}{f}\right ) \cos \left (\frac {-c f +d e}{f}\right )}{f}}{a}\) | \(163\) |
default | \(\frac {\frac {\sinIntegral \left (-2 d x -2 c -\frac {2 \left (-c f +d e \right )}{f}\right ) \cos \left (\frac {-2 c f +2 d e}{f}\right )}{2 f}+\frac {\cosineIntegral \left (2 d x +2 c +\frac {-2 c f +2 d e}{f}\right ) \sin \left (\frac {-2 c f +2 d e}{f}\right )}{2 f}-\frac {\sinIntegral \left (-d x -c -\frac {-c f +d e}{f}\right ) \sin \left (\frac {-c f +d e}{f}\right )}{f}+\frac {\cosineIntegral \left (d x +c +\frac {-c f +d e}{f}\right ) \cos \left (\frac {-c f +d e}{f}\right )}{f}}{a}\) | \(163\) |
risch | \(-\frac {{\mathrm e}^{-\frac {i \left (c f -d e \right )}{f}} \expIntegral \left (1, i d x +i c -\frac {i \left (c f -d e \right )}{f}\right )}{2 a f}-\frac {{\mathrm e}^{\frac {i \left (c f -d e \right )}{f}} \expIntegral \left (1, -i d x -i c -\frac {-i c f +i d e}{f}\right )}{2 a f}-\frac {i {\mathrm e}^{\frac {2 i \left (c f -d e \right )}{f}} \expIntegral \left (1, -2 i d x -2 i c -\frac {2 \left (-i c f +i d e \right )}{f}\right )}{4 a f}+\frac {i {\mathrm e}^{-\frac {2 i \left (c f -d e \right )}{f}} \expIntegral \left (1, 2 i d x +2 i c -\frac {2 i \left (c f -d e \right )}{f}\right )}{4 a f}\) | \(204\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [C] Result contains complex when optimal does not.
time = 0.38, size = 282, normalized size = 2.20 \begin {gather*} -\frac {2 \, d {\left (E_{1}\left (\frac {i \, d e + i \, {\left (d x + c\right )} f - i \, c f}{f}\right ) + E_{1}\left (-\frac {i \, d e + i \, {\left (d x + c\right )} f - i \, c f}{f}\right )\right )} \cos \left (-\frac {d e - c f}{f}\right ) - d {\left (-i \, E_{1}\left (\frac {2 \, {\left (-i \, d e - i \, {\left (d x + c\right )} f + i \, c f\right )}}{f}\right ) + i \, E_{1}\left (-\frac {2 \, {\left (-i \, d e - i \, {\left (d x + c\right )} f + i \, c f\right )}}{f}\right )\right )} \cos \left (-\frac {2 \, {\left (d e - c f\right )}}{f}\right ) + 2 \, d {\left (-i \, E_{1}\left (\frac {i \, d e + i \, {\left (d x + c\right )} f - i \, c f}{f}\right ) + i \, E_{1}\left (-\frac {i \, d e + i \, {\left (d x + c\right )} f - i \, c f}{f}\right )\right )} \sin \left (-\frac {d e - c f}{f}\right ) - d {\left (E_{1}\left (\frac {2 \, {\left (-i \, d e - i \, {\left (d x + c\right )} f + i \, c f\right )}}{f}\right ) + E_{1}\left (-\frac {2 \, {\left (-i \, d e - i \, {\left (d x + c\right )} f + i \, c f\right )}}{f}\right )\right )} \sin \left (-\frac {2 \, {\left (d e - c f\right )}}{f}\right )}{4 \, a d f} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.36, size = 166, normalized size = 1.30 \begin {gather*} \frac {2 \, {\left (\operatorname {Ci}\left (\frac {d f x + d e}{f}\right ) + \operatorname {Ci}\left (-\frac {d f x + d e}{f}\right )\right )} \cos \left (-\frac {c f - d e}{f}\right ) + {\left (\operatorname {Ci}\left (\frac {2 \, {\left (d f x + d e\right )}}{f}\right ) + \operatorname {Ci}\left (-\frac {2 \, {\left (d f x + d e\right )}}{f}\right )\right )} \sin \left (-\frac {2 \, {\left (c f - d e\right )}}{f}\right ) - 2 \, \cos \left (-\frac {2 \, {\left (c f - d e\right )}}{f}\right ) \operatorname {Si}\left (\frac {2 \, {\left (d f x + d e\right )}}{f}\right ) + 4 \, \sin \left (-\frac {c f - d e}{f}\right ) \operatorname {Si}\left (\frac {d f x + d e}{f}\right )}{4 \, a f} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: HeuristicGCDFailed} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [C] Result contains higher order function than in optimal. Order 9 vs. order
4.
time = 4.61, size = 4828, normalized size = 37.72 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {{\cos \left (c+d\,x\right )}^3}{\left (e+f\,x\right )\,\left (a+a\,\sin \left (c+d\,x\right )\right )} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________